extract:

fetch:
	wget http://ricardoborges.github.com/PSharp.Compiler/
	mv index.html fetched/
